61. Developments in language theory
پدیدآورنده : \ Igor Potapov (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages -- Congresses.,Computation by Abstract Devices.,Mathematical Logic and Formal Languages,زبانهای صوری -- کنگره ها ,منطق ریاضی و زبان های صوری
رده :
QA
267
.
3
.
D48
2015
E-Book
,
62. Dialectical Passions
پدیدآورنده : \ Gail Day.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Art, Modern-- 20th century-- Philosophy.,Art, Modern-- 21st century-- Philosophy.,Negation (Logic),هنر نوین -- قرن ۲۰م. -- فلسفه ,هنر نوین -- قرن ۲۱م. -- فلسفه ,ن‍ف‍ی (منطق)
رده :
N
6490
.
D32D5
2011
E-Book
,
63. Dialectical logic : essays on its history and theory
پدیدآورنده : / E. V. Ilyenkov,ایلنکوف,Ilenkov
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق,دیالکتیک,ماتریالیسم دیالکتیک
رده :
BC
۵۷
/
الف
۹
د
۹ ۱۳۵۶
64. Discovering Patterns in Mathematics and Poetry
پدیدآورنده : \ Marcia Birken and Anne C. Coon
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
رده :
E-Book
,
65. Donald Davidson's Truth-Theoretic Semantics
پدیدآورنده : / Ernest Lepore, Kirk Ludwig
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Davidson, Donald, 1917-2003,Semantics (Philosophy),Language and logic,.دیویدسن، دونالد، ۲۰۰۳ - ۱۹۱۷ م,معنی‌شناسی( فلسفه),زبان و منطق
رده :
B945
.
D3L4
2009
66. Einfuhrung in die Logik
پدیدآورنده : \ Ansgar Beckermann.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- Textbooks.,منطق -- کتاب‌های درس
رده :
BC114
.
B43
E35
2014
67. Elementary logic
پدیدآورنده : / Benson Mates
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : منطق ریاضی,Logic , Symbolic and mathematical
رده :
BC135
.
M37
68. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
69. Encyclopedia of the Philosophical Sciences in Basic Outline.
پدیدآورنده : \ Georg Wilhelm Friedrich Hegel; translated and edited by edited by Klaus Brinkmann and Daniel O. Dahlstrom.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic.,منطق
رده :
B2918
.
E5H37
2010
70. Encyclopedia of the Philosophical Sciences in Basic Outline
پدیدآورنده : / Georg Wilhelm Friedrich Hegel
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
B2918
.
E5
,
H373
2010
R
71. Entrance Gate For The Wise (Section III): Sa - Skya Pandita On Indian And Tibetan Traditions Of Pramana And Philosophical Debate
پدیدآورنده : / David P. Jackson
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Buddhist logic.,منطق بودایی
رده :
BQ7950
.
S344M3535
72. Epistemology, Knowledge and the Impact of Interaction
پدیدآورنده : \ Juan Redmond, Olga Pombo Martins, Angel Nepomuceno Fernandez, editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Philosophy,Knowledge, Theory of,Logic,فلسفه,شناخت (فلسفه),منطق
رده :
BD168
.
E61
2016
73. Essays in Experimental Logic
پدیدآورنده : \ John Dewey,دی‍وی‍ی
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق,Thought and thinking,اندیشه و تفکر,Realists,واق‍ع گ‍رای‍ان,<ال‍واق‍ع‍ی‍ون=واق‍ع‍ی‍ون>,a04,a04,a07,a07,a09,a09,a09
رده :
BC50
.
D42E8
2004
74. Essays in the Philosophy and History of Logic and Mathematics
پدیدآورنده : \ Roman Murawski ; foreword [by] Jan Woleński.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics-- Philosophy.,Mathematics-- Philosophy-- History-- 20th century.,Logic-- History.,ریاضیات -- فلسفه ,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م. ,منطق -- تاریخ
رده :
QA
8
.
6
.
M8E8
2010
E-Book
,
75. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
76. Extensionalism
پدیدآورنده : / Nimrod Bar-Am
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Logic - History,منطق - تاریخ
رده :
BC15
.
B3
77. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
78. Following the Rules
پدیدآورنده : \ Joseph Heath.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Deontic logic.,Practical reason.,Ethics.,Duty.,منطق تکلیف ,عقل عملی ,اخلاق,وظیفه
رده :
BC145
.
H43F6
2008
79. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
80. Formalizing Medieval Logical Theories
پدیدآورنده : \ By Catarina Dutilh Novaes
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Medieval.,Formalization (Philosophy),منطق قرون وسطا
رده :
E-Book
,
